COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	∂03-Apr-86  0931	JMC  
C00003 ENDMK
C⊗;
∂03-Apr-86  0931	JMC  
To:   RPG    
Yes, I'll give those talks.

∂03-Apr-86  1336	JMC  	re: What do you think?  
To:   TRACZ@SU-SIERRA.ARPA  
[In reply to message sent Thu 3 Apr 86 12:37:05-PST.]

I can understand why you got only a few ideas.  To express my own opinion
on the questions you raise might require writing 20 pages, especially as
my opinions on some of the topics you list would be indefinite, and there
would be other ways of dividing some of the topics I would prefer.  There
is also the problem of distinguishing the importance of the topic per se
from the importance of the questions currently being raised.  Therefore,
I can't bring myself to answer your questions as posed beyond the remark
that I consider AI important and CD/Optical Disks not really a research
topic at all except for people working on a narrow area of hardware.

∂03-Apr-86  1350	JMC  	re: trip to Austin 
To:   RA
[In reply to message rcvd 03-Apr-86 13:48-PT.]

Yes, please.

∂03-Apr-86  1353	JMC  
To:   rosenschein@SUMEX-AIM.ARPA 
{\bf McCarthy, John (1977)}:
``On The Model Theory of Knowledge'' (with M. Sato, S. Igarashi, and
T. Hayashi), {\it Proceedings of the Fifth International Joint Conference
on Artificial Intelligence}, M.I.T., Cambridge, Mass.

∂03-Apr-86  1414	JMC  	re: VTSS course    
To:   RA
[In reply to message rcvd 03-Apr-86 13:58-PT.]

I still don't have it.

∂03-Apr-86  1603	JMC  	reply to message   
To:   vijay@ERNIE.BERKELEY.EDU   
[In reply to message sent Thu, 3 Apr 86 15:15:33 PST.]

I have received the papers of Dreyfus, Winograd and Searle.
I am leaving for two weeks on Sunday and probably will not
be able to reply till I return.

∂03-Apr-86  1800	JMC  	re: "Any fool" reference
To:   ROSENSCHEIN@SUMEX-AIM.ARPA 
[In reply to message sent Thu 3 Apr 86 17:28:30-PST.]

I forgot.  IJCAI bungled and lost the manuscript.  There is a Stanford
CS report of the same title.

∂03-Apr-86  1926	JMC  	re: Qlisp Task Description   
To:   LES, RPG, CLT    
[In reply to message from LES rcvd 03-Apr-86 18:47-PT.]

My goal is less to have a full Common Lisp with extensions for parallelism
than to have a working Qlisp with enough features so that programming
experience in making Qlisp parallel process can be obtained.

∂03-Apr-86  2012	JMC  	re: Milestones
To:   RPG, LES, CLT    
[In reply to message from RPG rcvd 03-Apr-86 19:54-PT.]

Fine but are you sure that the Qlisp constructions are
unambiguous when extended over the whole of Commmon Lisp?
I know of know counterexamples, but I haven't thought about
it enough to be confident.

∂03-Apr-86  2146	JMC  	re: EBOS budget    
To:   LES    
[In reply to message rcvd 03-Apr-86 20:17-PT.]

Please show me the budget that comes to $135,416.

∂04-Apr-86  0127	JMC  	responses
To:   vijay.ernie@UCBVAX.BERKELEY.EDU 
I found the three papers disappointingly insubstantial.
I have written out responses to all of them, but I think I'll
hold on to the responses to Searle and the Dreyfus's until
I return from the two week trip to Europe I'm starting on
Sunday.  Searle's was the most fun, because it offers the
opportunity to respond to him with the same vigor with
which he treats those with whose opinions he disagrees.

  I'm sending you the response to Winograd in the
hopes that it will induce him to overcome his laziness
and subject more of the material from his book to criticism.

Here is the response to the little Winograd wrote.

	I would defend the "rationalistic orientation" against the
attack given in Flores's and Winograd's book, which I have read,
had Winograd bothered to present some of the attack.  This defense,
however, would have to admit that some of the examples
in the book present problems for previous formalizations used
in AI.  Their proper treatment requires a considerable elaboration
of the existing, though new, methods of formalized non-monotonic
reasoning.  They may also require something along the lines of
formalized contexts, a subject I have recently been studying.

	I especially like the question about whether there is
water in the refrigerator, the issue of what knowledge of flies
may be ascribed to a frog's retina, and the Heidegger (or is
it Flores and Winograd) parable of hammering.

	Oh well, too bad.

	As for the stuff about considering the consequences of
one's work, one should indeed, but the one must remember that
the scientist isn't the boss of society and can neither force
society to use the results of science nor prevent it from doing
so.

∂04-Apr-86  0144	JMC  	re: responses 
To:   vijay@ERNIE.BERKELEY.EDU   
[In reply to message sent Thu, 3 Apr 86 15:22:57 PST.]

I found the three papers disappointingly insubstantial.
I have written out responses to all of them, but I think I'll
hold on to the responses to Searle and the Dreyfus's until
I return from the two week trip to Europe I'm starting on
Sunday.  Searle's was the most fun, because it offers the
opportunity to respond to him with the same vigor with
which he treats those with whose opinions he disagrees.

  I'm sending you the response to Winograd in the
hopes that it will induce him to overcome his laziness
and subject more of the material from his book to criticism.

Here is the response to what little Winograd wrote.

	I would defend the "rationalistic orientation" against the
attack given in Flores's and Winograd's book, which I have read,
had Winograd bothered to present some of the attack.  This defense,
however, would agree that some of the examples
in the book present problems that AI has not yet solved.
Their proper treatment requires a considerable elaboration
of the existing, though new, methods of formalized non-monotonic
reasoning.  They may also require something along the lines of
formalized contexts, a subject I have recently been studying.

	I especially like the question about whether there is
water in the refrigerator, the issue of what knowledge of flies
may be ascribed to a frog's retina, and the Heidegger (or is
it Flores and Winograd) parable of hammering.

	Oh well, too bad.

	As for the stuff about considering the consequences of
one's work, one should indeed, but the one must remember that
the scientist isn't the boss of society and can neither force
society to use the results of science nor prevent it from doing
so.

∂04-Apr-86  0146	JMC  	re: EBOS Budget    
To:   LES    
[In reply to message rcvd 03-Apr-86 23:37-PT.]

I'll think about whether to flush the student or the whole project
try the local IBM for more support or try to get Ralph to help with
Greep's support.

∂04-Apr-86  0146	JMC  
To:   LES    
Who pays for Lauren Weinstein, UCL?

∂04-Apr-86  1202	JMC  	re: Quote on teaching (from SAIL's BBOARD)  
To:   SU-BBOARDS@SU-AI.ARPA 
I remember once having a new idea on how to teach something.  I
was teaching differential equations here at Stanford in 1954 and reached
the topic in the book of linear differential equations with constant
co-efficients with trigonometric functions on the right hand side.
It occurred to me to vary the treatment by taking a finite dimensional
space spanned by products of some powers of  x  and the trig functions
that appeared on the right hand side and to regard the differential
operator as represented by a matrix.  The matrix is singular in general
and the various cases of solvability are reflected in properties of
the matrix and the vector representing the right hand side.  I thought
it went well, and the class seemed to understand.  However, it turned
out that some of the students protested to the math department that
I evidently didn't understand the material, since I sometimes changed
my mind at the blackboard on how to present it.  Thus originality
has its risks - not serious in this case.

∂04-Apr-86  1528	JMC  	Charniak 
To:   vijay@ERNIE.BERKELEY.EDU   
Please mail me your EMAIL address for Charniak.

∂04-Apr-86  1631	JMC  
To:   SJM    
I'm done with women2 for the next two weeks.

∂04-Apr-86  1743	JMC  	re:  Charniak 
To:   vijay@ERNIE.BERKELEY.EDU   
[In reply to message sent Fri, 4 Apr 86 16:58:34 PST.]

I want to think more about my responses to the Dreyfus's and Searle.  Also
all three of them attack the rationalist approach, using caricatures
of one kind or another.  Therefore, it might be useful if I were to
produce also a more generalized exposition of what I regard as a present
day rationalist approach to AI.  They could then attack it.

∂04-Apr-86  1848	JMC  	re: Alliant 5th Proposal
To:   LES, CLT    
[In reply to message from LES rcvd 04-Apr-86 18:47-PT.]

That looks good enough.

∂04-Apr-86  2116	JMC  	re: slides    
To:   RA
[In reply to message rcvd 04-Apr-86 19:37-PT.]

Thanks, Rutie.

∂05-Apr-86  0949	JMC  	re:  [CSNET-RELAY Memo Service:  Failed mail (msg.a027248)]
To:   bibel%germany.csnet@CSNET-RELAY.ARPA 
[In reply to message sent Sat, 5 Apr 86 10:55:59 MET.]

I received the message addressed as follows.

mccarthy%su-ai.arpa%germany.csnet@CSNET-RELAY.ARPA.

However, it would be better to replace  mccarthy  by  jmc.
Picking me up Thursday morning would be fine.
If it's convenient I'll phone you at home Wednesday evening
or you can phone me at the hotel Wednesday evening.
I have no idea about whether I'll be very tired or not.
I'm leaving Stanford tomorrow afternoon, so you won't be
able to get me by electronic mail here after then.
Just before I come to Munich I'll be visiting Alan Bundy
in Edinburgh, and his electronic mail address from here
is

bundy%aiva.edinburgh.ac.uk@ucl-cs.arpa

However, unless there is some surprise, communicating at Munich
will suffice.

∂05-Apr-86  1042	JMC  	finite versions of Freiling's axioms   
To:   IAM, CLT    
A finite version has the form.  For any map
f  taking a set  X  of  n  elements into subsets
of not more than  k  elements,  ∃x1 x2.(¬(x1 ε f(x2)) ∧ ¬(x2 ε f(x1))).
Let  N(k)  be the largest  n  for which the statement is false,
and let  f↓k  be the map that demonstrates it.  Of course, the
finite true versions of the axiom for fixed  k  are all theorems
of Peano arithmetic.  We have N(1) = 3, and  f↓1 can be taken as
the cyclic permutation of three elements.  When  n  is a power
of three (say 3↑m) we can construct a map as follows.  Divide  X  in three
parts taken cyclically and include the next part in  f(x)  for
x in one of the parts.  This is enough to show that  x1  and
x2  can't be in different parts, but they could be in the same
part.  However, we can divide each part in 3 and add to the
image of each point all the points of the successor part
and continue the process till we get down to a cyclic permutation.
We then have  k = (3↑m - 1)/2  if I haven't made a mistake.  This
tells us that  N(k)  grows at least as fast as  2k.  My guess is
that this is indeed how fast it grows, which would say that the
the finite versions of Freiling's first axiom are very true indeed,
thus making the infinite version very plausible.

∂05-Apr-86  1907	JMC  	requested papers   
To:   RA
I recommended two papers to Paul Haley at Inference, so please ask their
authors to send them to him in L.A.

Mike Genesereth and David Smith - Recursive Inference

William Clancey -Heuristic Classification

∂06-Apr-86  0922	JMC  	(→17721 20-Apr-86) 
To:   "#___JMC.PLN[2,2]"    
I will be travelling from April 6 to April 20.  Rutie Adler has my
schedule.

∂06-Apr-86  1003	JMC  
To:   CLT    
305 583-9318 Sue Walker Toledo

∂06-Apr-86  1011	JMC  	Toledo paper  
To:   RA@SU-AI.ARPA
CC:   or.dantzig@SU-SIERRA.ARPA 
The  chron  file has a paper by Sue Walker Toledo.  If Professor Dantzig
wants it please send it to him.

∂06-Apr-86  1348	JMC  
To:   CLT    
color[s86,jmc] contains preliminary notes for the letter to math. intell.

∂07-Apr-86  0857	JMC  	visit    
To:   bundy%aiva.edinburgh.ac.uk@CS.UCL.AC.UK   
Yes, the visit is on.  I'll be staying with the Michaelson's.
I'll be glad to give an informal seminar, but I don't have
a specific title now.

∂07-Apr-86  0901	JMC  
To:   CLT, LES    
 ∂07-Apr-86  0623	somewhere!ito@aoba.tohoku.junet    
Received: from SU-SHASTA.ARPA by SU-AI.ARPA with TCP; 7 Apr 86  06:23:10 PST
Received: by su-shasta.arpa with TCP; Mon, 7 Apr 86 06:23:03 pst
Received: by ntt.junet (4.12/4.7JC-7) CHAOS with CHAOS-MAIL
	id AA05102; Mon, 7 Apr 86 10:34:50 jst
Received: by ntt.junet (4.12/4.7JC-7) CHAOS with CHAOS-MAIL
	id AA05076; Mon, 7 Apr 86 10:34:16 jst
Message-Id: <8604070134.AA05076@ntt.junet>
Received: by aoba.tohoku.junet (systemV.tohoku)
	id AA05212; Sat, 5 Apr 86 23:30:55 JST
Date: Sat, 5 Apr 86 23:30:55 JST
From: ito@aoba.tohoku.junet (Takayasu ITO)
To: nttlab!nttlab!nttlab!Shasta!jmc@su-ai

  Subject: On Lisp System

  Dear Professor McCarthy:
       I am sending this mail to you since I have heard that you have started
  your project on Parallel Lisp System.
  Last year my graduate students implemented a simple experimental parallel
  processor based on MC68000. We constructed four MC68000's system successfully
  ,which works in 12.5MHz and have 0.5MB local memory and 4MB common memory at
  present.  We are expanding our system for eight MC68000's system.We are 
  designing parallel processor system based on MC68020's.
  My graduate student and I are working on designing and implementing Parallel
  Lisp System on these parallel processor system (and concurrent object oriented  system).
  My student have a good experience of writing Franzlisp interpreter on Unix
  Workstation based on MC68000 and MC68020,using Assembler of MC68000.
  This experience helps us to implement Parallel Lisp system.
  At present our Lisp system automatically detect program fragment which can
  be executed in parallel.
  I appreciate if you would let me know the state of your project.
  Professor M. Sato,formerly at University of Tokyo, was promoted as Full
  Professor of Tohoku University on April 1st as you might know.
  Please come to visit Sendai when you visit Japan next time.
                                          Sincerely,Takayasu Ito(Sendai)
  P.S.: My daughter was visiting my friend at Stanford to have experience to
        stay at your country.She returned home on April 1st. She told me
        that she could see you at campus while she was walking with Richards.
  
        If you are going to attend IFIP at Dublin we may be able to see there.

∂08-Apr-86  1243	JMC  
To:   CLT    
bye from Austin